翻訳と辞書 Words near each other ・ Stuyvesant Square ・ Stuyvesant Street ・ Stuyvesant Town–Peter Cooper Village ・ Stuyvesant Van Veen ・ Stuyvesant Wainwright ・ Stuyvesant, New York ・ Stuyvesant/Prospect, Trenton, New Jersey ・ Stuľany ・ Stużno ・ Stużno-Kolonia ・ Stužica ・ STV ・ STV (TV channel) ・ STV (TV station) ・ STV AS ・ Stutter bisimulation ・ Stutter edit ・ Stutter Rap (No Sleep til Bedtime) ・ Stutter step ・ Stutterfly ・ Stutterheim ・ Stutterheim Provincial Hospital ・ Stutterheim Raincoats ・ Stuttering ・ Stuttering (Don't Say) ・ Stuttering (Fefe Dobson song) ・ Stuttering (Loick Essien song) ・ Stuttering Center of Western Pennsylvania ・ Stuttering equivalence ・ Stuttering Foundation of America Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Stutter bisimulation ： ウィキペディア英語版 Stutter bisimulation Stutter bisimulation〔Principles of Model Checking , by Christel Baier and Joost-Pieter Katoen, The MIT Press, Cambridge, Massachusetts.〕 is defined in a coinductive manner, as ''bisimulation''. Let TS=(S,Act,→,I,AP,L) be a transition system. A stutter bisimulation for TS is a binary relation R on S such that for all (s1,s2) which is in R: # L(s1) = L(s2). # If s1' is in Post(s1) with (s1',s2) is not in R, then there exists a finite path fragment s2u1…uns2' with n≥0 and (s1,ui) is in R, and (s1',s2') is in R. # If s2' is in Post(s2) with (s1,s2') is not in R, then there exists a finite path fragment s1v1…vns1' with n≥0 and (vi,s2)is in R, and (s1',s2') is in R. ==References== 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Stutter bisimulation」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.